What is binary search in C